1. Identificação | |
Tipo de Referência | Artigo em Evento (Conference Proceedings) |
Site | plutao.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | J8LNKAN8RW/34BEP7G |
Repositório | dpi.inpe.br/plutao@80/2008/12.04.11.55.26 |
Última Atualização | 2015:04.16.13.18.55 (UTC) administrator |
Repositório de Metadados | dpi.inpe.br/plutao@80/2008/12.04.11.55.27 |
Última Atualização dos Metadados | 2018:06.05.00.19.58 (UTC) administrator |
Chave Secundária | INPE--PRE/ |
Rótulo | lattes: 9922863822347014 2 SilvaVijFraCarCar:2008:UsCoSt |
Chave de Citação | SilvaVijFraCarCar:2008:UsCoSt |
Título | O Uso Combinado dos Statecharts e Processo Markoviano de Decisão no Processo de Avaliação de Desempenho de Sistemas |
Formato | DVD |
Ano | 2008 |
Data de Acesso | 18 maio 2024 |
Tipo Secundário | PRE CN |
Número de Arquivos | 1 |
Tamanho | 575 KiB |
|
2. Contextualização | |
Autor | 1 Silva, Marcelino S. da 2 Vijaykumar, Nandamudi Lankalapalli 3 Francês, Carlos Renato Lisboa 4 Carvalho, Solon Venâncio de 5 Cardoso, Diego Lisboa |
Grupo | 1 2 LAC-CTE-INPE-MCT-BR 3 4 LAC-CTE-INPE-MCT-BR |
Afiliação | 1 Universidade Federal do Pará (UFPA) 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 Universidade Federal do Pará (UFPA) 4 Instituto Nacional de Pesquisas Espaciais (INPE) 5 Universidade Federal do Pará (UFPA) |
Endereço de e-Mail do Autor | 1 2 vijay@lac.inpe.br 3 4 solon@lac.inpe.br |
Endereço de e-Mail | vijay@lac.inpe.br |
Nome do Evento | Simpósio Brasileiro de Pesquisa Operacional, 40. |
Localização do Evento | João Pessoa, PB |
Volume | 1 |
Páginas | 1-15 |
Título do Livro | Anais |
Tipo Terciário | Artigo |
Histórico (UTC) | 2008-12-04 16:11:47 :: lattes -> simone :: 2008-12-08 11:45:26 :: simone -> administrator :: 2010-05-12 02:51:40 :: administrator -> simone :: 2010-07-07 18:38:50 :: simone -> administrator :: 2018-06-05 00:19:58 :: administrator -> marciana :: 2008 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Tipo do Conteúdo | External Contribution |
Palavras-Chave | Statecharts Processo Markoviano de Decisão Avaliação de Desempenho Statecharts Markov Decision Process Performance evaluation |
Resumo | Este trabalho propõe uma estratégia para o processo de Avaliação de Desempenho de sistemas que associa uma técnica de especificação formal de alto nível, Statecharts, a um Processo Markoviano de Decisão. Os Statecharts são utilizados para propiciar uma representação clara do comportamento do sistema, incluindo as possíveis tomadas de decisões e os custos advindos de cada decisão. O Processo Markoviano de Decisão analisa os efeitos em longo prazo de cada decisão. Como resultado dessa associação, permite-se que usuários do sistema, os quais não possuem um conhecimento profundo sobre o processo de avaliação de desempenho, possam participar de forma mais efetiva na etapa de modelagem em conjunto com o especialista em avaliação de desempenho, provendo informações que tornam a modelagem mais coerente com o sistema real. ABSTRACT: This paper proposes a strategy to the performance evaluation process that associates a high level formal specification technique, Statecharts, with a Markov Decision Process. Statecharts are used to represent in a clear manner the system behavior, including the possible decision choices and the costs incurred from each decision. Markov Decision Process is used to evaluate the long time effects of each decision. The result of this strategy is that the users of the system, without a good knowledge of the performance evaluation process, may participate in a more effective way in the modeling phase, proving information to make a more realistic model. |
Área | COMP |
Arranjo | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > O Uso Combinado... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | não têm arquivos |
|
4. Condições de acesso e uso | |
URL dos dados | http://urlib.net/ibi/J8LNKAN8RW/34BEP7G |
URL dos dados zipados | http://urlib.net/zip/J8LNKAN8RW/34BEP7G |
Idioma | pt |
Arquivo Alvo | silva_uso.pdf |
Grupo de Usuários | lattes simone administrator marciana |
Grupo de Leitores | administrator marciana |
Visibilidade | shown |
Permissão de Leitura | allow from all |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP |
Acervo Hospedeiro | dpi.inpe.br/plutao@80/2008/08.19.15.01 |
|
6. Notas | |
Campos Vazios | archivingpolicy archivist callnumber copyholder copyright creatorhistory date descriptionlevel dissemination doi edition editor isbn issn lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress resumeid rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark type url versiontype |
|
7. Controle da descrição | |
e-Mail (login) | marciana |
atualizar | |
|